chomsky normal form in toc